A Modal Specification Approach for On-Demand Medical Systems
نویسندگان
چکیده
The on-demand approach, where systems are assembled from components by lay users, has seen success in the consumer electronics industry. Currently, there is growing demand for on-demand capabilities in medical systems so caregivers can create larger medical systems from smaller medical devices. Unlike consumer electronics, medical systems pose challenges for the on-demand approach due to attributes such as device complexity, device variability and safety requirements. In this paper, we propose a formal specification language for on-demand (medical) systems. Our approach is based on the formalism of Modal I/O Automata, which allows system designers to express complex device requirements and can be used to reason about safety and liveness properties of on-demand medical systems directly from their specifications. We illustrate the applicability of our approach through a case study of a closed-loop patient controlled analgesia system. Disciplines Computer Engineering | Computer Sciences Comments Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. http://www.cs.ox.ac.uk/ fhies2013/ This conference paper is available at ScholarlyCommons: http://repository.upenn.edu/cis_papers/756 A Modal Speci cation Approach for On-Demand Medical Systems Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee Department of Computer & Information Science, University of Pennsylvania {kingand,lufeng,sokolsky,lee}@cis.upenn.edu Abstract. The on-demand approach, where systems are assembled from components by lay users, has seen success in the consumer electronics industry. Currently, there is growing demand for on-demand capabilities in medical systems so caregivers can create larger medical systems from smaller medical devices. Unlike consumer electronics, medical systems pose challenges for the on-demand approach due to attributes such as device complexity, device variability and safety requirements. In this paper, we propose a formal speci cation language for on-demand (medical) systems. Our approach is based on the formalism of Modal I/O Automata, which allows system designers to express complex device requirements and can be used to reason about safety and liveness properties of ondemand medical systems directly from their speci cations. We illustrate the applicability of our approach through a case study of a closed-loop patient controlled analgesia system. The on-demand approach, where systems are assembled from components by lay users, has seen success in the consumer electronics industry. Currently, there is growing demand for on-demand capabilities in medical systems so caregivers can create larger medical systems from smaller medical devices. Unlike consumer electronics, medical systems pose challenges for the on-demand approach due to attributes such as device complexity, device variability and safety requirements. In this paper, we propose a formal speci cation language for on-demand (medical) systems. Our approach is based on the formalism of Modal I/O Automata, which allows system designers to express complex device requirements and can be used to reason about safety and liveness properties of ondemand medical systems directly from their speci cations. We illustrate the applicability of our approach through a case study of a closed-loop patient controlled analgesia system.
منابع مشابه
The Identification of the Modal Parameters of Orbital Machines using Dynamic Structural Approach
The researcher measured the least number of frequency response functions required for the identification of modal parameters, in order to simplify the identification of modal properties of such systems. In this work, the orbital machines are supposed to be a combination of orbital and non-orbital components. Structural Approach specified the identification of dynamic properties only to those ph...
متن کاملDamage detection of multi-girder bridge superstructure based on the modal strain approaches
The research described in this paper focuses on the application of modal strain techniques on a multi-girder bridge superstructure with the objectives of identifying the presence of damage and detecting false damage diagnosis for such structures. The case study is a one-third scale model of a slab-on-girder composite bridge superstructure, comprised of a steel-free concrete deck with FRP rebars...
متن کاملA Modal Specification Theory for Timing Variability
Modal specifications are classical formalisms that can be used to express the functional variability of systems; it is particularly useful for capturing the stepwise refinement of component-based design. However, the extension of such formalisms to real-time systems has not received adequate attention. In this paper, we propose a novel notion of time-parametric modal specifications to describe ...
متن کاملAn effective approach for damage identification in beam-like structures based on modal flexibility curvature and particle swarm optimization
In this paper, a computationally simple approach for damage localization and quantification in beam-like structures is proposed. This method is based on using modal flexibility curvature (MFC) and particle swarm optimization (PSO) algorithm. Analytical studies in the literature have shown that changes in the modal flexibility curvature can be considered as a sensitive and suitable criterion for...
متن کاملA Game Theoretic Approach for Sustainable Power Systems Planning in Transition
Intensified industrialization in developing countries has recently resulted in huge electric power demand growth; however, electricity generation in these countries is still heavily reliant on inefficient and traditional non-renewable technologies. In this paper, we develop an integrated game-theoretic model for effective power systems planning thorough balancing between supply and demand for e...
متن کامل